Issue278.agda:7,1-14,19
Using abstract here has no effect. Abstract applies to only
definitions like data definitions, record type definitions and
function clauses.
